971![Computing / Software / Modelica / Dymola / SimulationX / Differential algebraic equation / Differential equation / System of linear equations / JModelica.org / Object-oriented programming / Simulation software / Application software Computing / Software / Modelica / Dymola / SimulationX / Differential algebraic equation / Differential equation / System of linear equations / JModelica.org / Object-oriented programming / Simulation software / Application software](/pdf-icon.png) | Add to Reading ListSource URL: modelica.orgLanguage: English - Date: 2011-04-27 10:25:48
|
---|
972![Operations research / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Satisfiability Modulo Theories / Linear programming / Local consistency / Theoretical computer science / Applied mathematics / Mathematics Operations research / Constraint programming / Electronic design automation / Formal methods / NP-complete problems / Boolean satisfiability problem / Satisfiability Modulo Theories / Linear programming / Local consistency / Theoretical computer science / Applied mathematics / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: www.cse.chalmers.seLanguage: English - Date: 2013-12-12 08:44:35
|
---|
973![Linear algebra / Abstract algebra / Dimension / Vectors / Array data type / Array programming / MATLAB / Euclidean subspace / Algebra / Mathematics / Software Linear algebra / Abstract algebra / Dimension / Vectors / Array data type / Array programming / MATLAB / Euclidean subspace / Algebra / Mathematics / Software](/pdf-icon.png) | Add to Reading ListSource URL: www.cs.utsa.eduLanguage: English - Date: 2009-09-22 20:25:08
|
---|
974![NP-complete problems / Network theory / Vertex cover / Steiner tree problem / Shortest path problem / Linear programming / SL / Edge disjoint shortest pair algorithm / Pseudoforest / Theoretical computer science / Graph theory / Mathematics NP-complete problems / Network theory / Vertex cover / Steiner tree problem / Shortest path problem / Linear programming / SL / Edge disjoint shortest pair algorithm / Pseudoforest / Theoretical computer science / Graph theory / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: www.cse.iitd.ernet.inLanguage: English - Date: 2009-03-25 10:41:58
|
---|
975![Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Interpolation / Satisfiability Modulo Theories / Solver / Linear programming / Theoretical computer science / Applied mathematics / Mathematics Constraint programming / Electronic design automation / Formal methods / Logic in computer science / NP-complete problems / Interpolation / Satisfiability Modulo Theories / Solver / Linear programming / Theoretical computer science / Applied mathematics / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: www.sosy-lab.orgLanguage: English - Date: 2013-10-11 06:59:10
|
---|
976![Parallel computing / Application programming interfaces / Compilers / Open64 / OpenMP / Numerical linear algebra / Lis / Unified Parallel C / Fortran / Computing / Software / Computer programming Parallel computing / Application programming interfaces / Compilers / Open64 / OpenMP / Numerical linear algebra / Lis / Unified Parallel C / Fortran / Computing / Software / Computer programming](/pdf-icon.png) | Add to Reading ListSource URL: www.compunity.orgLanguage: English - Date: 2007-10-15 03:41:03
|
---|
977![Linear programming / Operations research / Theoretical computer science / Numerical software / Trade study / PROPT / Applied mathematics / Mathematics / Convex optimization Linear programming / Operations research / Theoretical computer science / Numerical software / Trade study / PROPT / Applied mathematics / Mathematics / Convex optimization](/pdf-icon.png) | Add to Reading ListSource URL: www.cs.bris.ac.ukLanguage: English - Date: 2014-03-11 09:18:21
|
---|
978![Theoretical computer science / Mathematics / Convex optimization / Linear programming / Gurobi / Operations research / Numerical software / Applied mathematics Theoretical computer science / Mathematics / Convex optimization / Linear programming / Gurobi / Operations research / Numerical software / Applied mathematics](/pdf-icon.png) | Add to Reading ListSource URL: www.iea-etsap.orgLanguage: English - Date: 2013-08-28 07:43:06
|
---|
979![Optimization problem / Linear programming / Applied mathematics / Operations research / Mathematics / Geographic information system Optimization problem / Linear programming / Applied mathematics / Operations research / Mathematics / Geographic information system](/pdf-icon.png) | Add to Reading ListSource URL: www.balticnest.orgLanguage: English - Date: 2013-10-14 18:16:47
|
---|
980![Cross-platform software / Software architecture / Numerical linear algebra / Computer file formats / MATLAB / MEX file / Server / Java / LabelMe / Computing / Software / Array programming languages Cross-platform software / Software architecture / Numerical linear algebra / Computer file formats / MATLAB / MEX file / Server / Java / LabelMe / Computing / Software / Array programming languages](/pdf-icon.png) | Add to Reading ListSource URL: www.jeffreybyrne.comLanguage: English - Date: 2013-05-01 13:37:38
|
---|